0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Formal Verification – alle Bücher

    Ihre Suche nach "Formal Verification" (Bücher) ergab 9 Treffer.

    Ansicht:

    Caroline Dominik
    Embedding Sequential Circuits for their Polynomial Formal Verification

    BestMasters

    As digital circuits are at the core of most of our everyday technologies, society heavily relies on their precise and predictable behavior. However, this demand for correctness often clashes with the spee…

    lieferbar ab 25.1.2026.
    Buch
    Aktueller Preis: EUR 93,08

    Lucas Klemmer, Daniel Große
    Versatile Hardware Analysis Techniques

    This book describes several versatile hardware analysis techniques that tackle existing and new challenges. These techniques cover different phases of the hardware development process, including the verif…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 153,32

    Secure IT Systems

    This book constitutes the refereed proceedings of the 29th International Conference on Secure IT Systems, NordSec 2024, held in Karlstad, Sweden, during November 6-7, 2024.The 25 full papers presented in …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Runtime Verification

    .- Algorithmic Fairness: A Runtime Perspective. .- DSLs for Runtime Verification: A Tutorial. .- Execution and monitoring of HOA automata with HOAX. .- Formal Verification of Neural Certificates Done Dyna…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Theoretical Aspects of Software Engineering

    .- Program Verification..- Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk) ..- Testing-Based Formal Verification with Program S…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Artificial Intelligence and Data Analytics for Innovative Applications in Engineering, Sustainability and Technology

    This book explores the forefront of Artificial Intelligence (AI), data analytics, and sustainable engineering, presenting in-depth research and practical applications across various domains. It is designe…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 186,19

    Model Checking Software

    This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Vorheriger Preis EUR 63,51, reduziert um 22%
    Aktueller Preis: EUR 49,28

    Software Engineering and Formal Methods

    This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10--14, 2025.The 13 full papers and 2 sho…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Rebeca for Actor Analysis in Action

    This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers.Marjan Sirjani received her PhD in Computer Engineering from Shar…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.